41. Computability, an introduction to recursive function theory
پدیدآورنده : / Nigel Cutland
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
42. Computability, an introduction to recursive function theory
پدیدآورنده : Cutland, Nigel.
موضوع : ، Computable functions,، Recursion theory
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
43. Computability in combinatory spaces : an algebraic generalization of abstract first order computability
پدیدآورنده : Skordev, Dimitur Genchev
موضوع : ، Recursion theory,، Combinatory logic
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
44. Computability in combinatory spaces : an algebraic generalization of abstract first order computability
پدیدآورنده : Skordev, Dimitur Genchev
کتابخانه: (طهران)
موضوع : ، Recursion theory,، Combinatory logic
رده :
QA
9
.
6
.
S56
45. Computability theory
پدیدآورنده : Herbert B. Enderton
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Recursion theory
رده :
QA
9
,.
6
.
E52C6
2011
46. Computability theory /
پدیدآورنده : Rebecca Weber
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computable functions,Recursion theory
رده :
QA9
.
6
.
W43
2012
47. Computability theory
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Recursion theory. ;
48. Computability theory : an introduction to recursion theory
پدیدآورنده : Enderton, Herbert B.
کتابخانه: (طهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
E53
2011
49. Computability theory : an introduction to recursion theory
پدیدآورنده : Enderton, Herbert B.
کتابخانه: (طهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
E53C6
50. Computability theory :an introduction to recursion theory
پدیدآورنده : / Herbert B. Enderton
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Recursion theory
رده :
511
.
35
E56C
2011
51. Computability theory : concepts and applications
پدیدآورنده : Dunne, Paul E
کتابخانه: (طهران)
موضوع : Computable functions , Recursion theory , Turing machines
رده :
QA
9
.
59
.
D85
52. Computable analysis
پدیدآورنده : Oliver Aberth,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Recursion theory,Mathematical analysis
رده :
QA
.
A23
9
.
6
53. Computable analysis
پدیدآورنده : / by Klaus Weihrauch
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computable functions,Recursion theory,Mathematical analysis
رده :
QA9
.
59
.
W46
2000
54. Computable analysis : an introduction
پدیدآورنده : Weihrauch, Klaus, 3491-
کتابخانه: (طهران)
موضوع : ، Computable functions,، Recursion theory,، Mathematical analysis
رده :
QA
9
.
59
.
W44C6
55. Computable analysis: an introduction
پدیدآورنده : Weihrauch, K. )Klaus(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computable functions,، Recursion theory,، Mathematical analysis
رده :
QA
9
.
59
.
W46
2000
56. Computational prospects of infinity
پدیدآورنده : editors, Chitat Chong ... ]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Infinite
رده :
QA
248
.
W582
2005
57. Diagonalization and self-reference
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
1994
58. Diagonalization and self-reference
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع : ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
1994
59. Diagonalization and self-reference
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: (طهران)
موضوع : Recursion theory , Fixed point theory
رده :
QA
9
.
6
.
S67
1994
60. Diagonalization and self-reference
پدیدآورنده : Smullyan, Raymond Merrill, 9191-
کتابخانه: (طهران)
موضوع : ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
